solving inequalities by sign analysis